Câu ví dụAugustus De Morgan phát kiến ra đại số quan hệ trong cuốn sách Syllabus of a Proposed System of Logic.